au.\*:("MCCUNE WW")
Results 1 to 2 of 2
Selection :
LOGIC MACHINE ARCHITECTURE: KERNEL FUNCTIONSLUSK EL; MCCUNE WW; OVERBEEK RA et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 70-84; BIBL. 8 REF.Conference Paper
LOGIC MACHINE ARCHITECTURE: INFERENCE MECHANISMSLUSK EL; MCCUNE WW; OVERBEEK RA et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 85-108; BIBL. 6 REF.Conference Paper